例句與造句

1. Chaos is a ubiquitous nature phenomenon . the solution of chaos mathematical model is an extremely instable movement localized on finite space . as for instability , that is , the adjacent orbit will separate exponentially with the time goes by
   混沌是自然界中存在的普遍現(xiàn)象,對混沌現(xiàn)象建模產生的混沌數(shù)學模型,其解為局限于有限相空間的高度不穩(wěn)定的運動,所謂高度不穩(wěn)定是指近鄰的軌道隨時間的發(fā)展會指數(shù)地分離。
2. It is brought forward for the first time that in summertime the pco2 of the surface water near the changjiang estuary , whose salinity is less than 20 , decreases dramatically from upwards of 800uatm to downwards of 300uatm within the range of less than half one latitude , suggesting a transformation of a strong co2 source to a co2 sink in a finite space
   首次調查得到，夏季長江口附近鹽度20區(qū)域的水體極高的pco _ 2 (最高測得800 atm以上)在不到半個緯度的范圍內遞減到300 atm以下，即由一個很強的大氣co _ 2源，有限的空間尺度范圍內變成為匯區(qū)，有著極大的梯度變化。
3. A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
   一個被廣泛用于驗證實時系統(tǒng)的方法是根據(jù)被驗證的實時性質,使用適當?shù)碾p向模擬等價關系使無限的狀態(tài)空間轉化為有限的狀態(tài)等價類空間.算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規(guī)模一般隨著系統(tǒng)規(guī)模的增大而產生爆炸性的增長,以至于在很多情況下,窮盡搜索這個空間是不現(xiàn)實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的并發(fā)系統(tǒng)是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態(tài)等價類空間的窮盡搜索.基于這兩個關系,文章提出了一個算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此算法在某些情況下比其他一些工具有更好的時間和空間效率
4. It's difficult to find finite space in a sentence. 用finite space造句挺難的